Finiteness of Cousin Cohomologies

The notion of the Cousin complex of a module was given by Sharp in 1969. It wasn’t known whether its cohomologies are finitely generated until recently. In 2001, Dibaei and Tousi showed that the Cousin cohomologies of a finitely generated A-module M are finitely generated if the base ring A is local, has a dualizing complex, M satisfies Serre’s (S2)-condition and is equidimensional. In the present article, the author improves their result. He shows that the Cousin cohomologies of M are finitely generated if A is universally catenary, all the formal fibers of all the localizations of A are Cohen-Macaulay, the Cohen-Macaulay locus of each finitely generated A-algebra is open and all the localizations of M are equidimensional. As a consequence of this, he gives a necessary and sufficient condition for a Noetherian ring to have an arithmetic Macaulayfication.